Some Results on Ordered Filters of Implicative Semigroups
نویسنده
چکیده
We introduce a special set in an implicative semigroup. Using it, an equivalent condition of an ordered filter is stated. We prove that an ordered filter can be represented by the union of such sets. 2000 Mathematics Subject Classification. 20M12, 06F05, 06A06, 06A12.
منابع مشابه
ABSORBENT ORDERED FILTERS AND THEIR FUZZIFICATIONS IN IMPLICATIVE SEMIGROUPS
The notion of absorbent ordered filters in implicative semigroupsis introduced, and its fuzzification is considered. Relations among (fuzzy) orderedfilters, (fuzzy) absorbent ordered filters, and (fuzzy) positive implicativeordered filters are stated. The extensionproperty for (fuzzy) absorbent orderedfilters is established. Conditions for (fuzzy) ordered filters to be (fuzzy)absorbent ordered ...
متن کاملFuzzy Positive Implicative Ordered Filters of Implicative Semigroups
We consider the fuzzification of the notion of a positive implicative ordered filter in implicative semigroups. We show that every fuzzy positive implicative ordered filter is both a fuzzy ordered filter and a fuzzy implicative ordered filter. We give examples that a fuzzy (implicative) ordered filter may not be a fuzzy positive implicative ordered filter. We also state equivalent conditions of...
متن کاملPositive Implicative Ordered Filters of Implicative Semigroups
We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter. We also give equivalent conditions of positive implicative ordered f...
متن کاملAn Introduction to Implicative Semigroups with Apartness
The setting of this research is Bishop’s constructive mathematics. Following ideas of Chan and Shum, exposed in their famous paper “Homomorphisms of implicative semigroups”, we discuss the structure of implicative semigroups on sets with tight apartness. Moreover, we use anti-orders instead of partial orders. We study concomitant issues induced by existence of apartness and anti-orders giving s...
متن کاملSome results on fuzzy semi maximal filters in BL-algebras
In this paper, first, the concept of the fuzzy semi maximal filters in BL-algebras has been introduced, then several properties of fuzzy semi maximal filters have been studied and its relationship with other fuzzy filters including fuzzy (positive)implicative fuzzy filters and fuzzy fantastic filters are investigated. In the following, using the level subsets of fuzzy sets in a BL-algebra...
متن کامل